Nuprl Definition : standard-ds
11,40
postcript
pdf
StandardDS
== <
a
.if (
a
=
2) then IdLnk else Id fi ,
a
.if (
a
=
2) then IdLnkDeq else IdDeq fi >
latex
Definitions
StandardDS
,
IdLnk
,
Id
,
if
b
then
t
else
f
fi
,
(
i
=
j
)
,
IdLnkDeq
,
IdDeq
FDL editor aliases
sds
origin
a.if (a =
2) then IdLnk else Id fi , a.if (a = 2) then IdLnkDeq else IdDeq fi > a.if (a = 2) then IdLnk else Id fi , a.if (a = 2) then IdLnkDeq else IdDeq fi > j)